• : 124 series of modern mathematics: Non classical Mathematical Logic
  • One Hundred Years Of Russells Paradox: Mathematics, Logic, Philosophy
  • Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life
  • Mathematical Logic, (0199215626), Ian Chiswell, Textbooks   Barnes
  • Mathematical Logic, (0387942580), H. D. Ebbinghaus, Textbooks   Barnes
  • Course In Mathematical Logic, (0387902430), Iu I. Manin, Textbooks
  •  Introduction to Mathematical Logic, 5TH EDITION: Books
  • Elementary process Theory: Mathematical logical Principles of
  •  Structure (mathematical logic): Ronald Cohn Jesse Russell
  • Mathematical Logic
  • Mathematical Logic for Computer Science
  • Mathematical Logic
  • Mathematical Logic for Computer Science
  • Mathematical Logic for Computer Science
  • Introduction to Mathematical Logic
  • Introduction to Mathematical Logic
  • Fundamentals of Mathematical Logic
  • Tour Through Mathematical Logic
  • Mathematical Logic
  • Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
  • Course in Mathematical Logic
  • Mathematical Logic, Part 2
  • Course on Mathematical Logic
  • Introduction to Mathematical Logic
  • Mathematical Logic and Model Theory: A Brief Introduction
  • Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life: An Agony in Eight Fits
  •  Language, Truth and Logic in Mathematics (Jaakko Hintikka
  •  Order Logics: 11th International Conference, TPHOLs98, Canberra
  • Temporal Logic in Specification: Altrincham, UK, April 8 10, 1987
  • Inductive Logic Programming: 12th International Conference, ILP 2002
  •  Programming in Logic: Third International Workshop, META 92, Uppsala
  • Symbolic Logic (Annotated and Illustrated): Lewis Carroll:
  • Constraints in Computational Logics: First International Conference
  • Automated Deduction in Equational Logic and Cubic Curves (Lecture
  • Theorem Proving in Higher Order Logics: 12th International Conference
  • Inductive Logic Programming: 9th International Workshop, ILP 99, Bled
  • Logical Structures for Representation of Knowledge and Uncertainty
  • From Logic Design to Logic Programming: Theorem Proving Techniques and
  • Programming Language Implementation and Logic Programming
  •   The Principles Of Mathematics (9781603861199): Bertrand Russell: Books
  •   Education (Logic, Epistemology, and the Unity of Science
  •   Education (Logic, Epistemology, and the Unity of Science
  •   to Default Logic: Philippe Besnard:  Kindle Store
  • Ordered Sets: Concepts, Results and Uses (Encyclopedia of Mathematics
  •  Logic: Third International Congress, TICTTL 2011, Salamanca, Spain
  •  OMDoc    An Open Markup Format for Mathematical Documents
  •   Logic and to the Study of Effective Operations in Arithmetic and Logic
  • Introducing Difficult Mathematics Topics in the Elementary Classroom
  •  Intelligible: An Elementary Survey of Mathematics in its Conceptual
  •  Conceptual Mathematics: A First Introduction to Categories
  •  The Temporal Logic of Reactive and Concurrent Systems
  • Mathematical Foundations of Computer Science 2007: 32nd International
  • The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
  • The Proof is in the Pudding: The Changing Nature of Mathematical Proof
  •  to Theory, Proof, and the Professional Culture (Mathematical
  •  Computation Engineering: Applied Automata Theory and Logic
  • Program Development in Computational Logic: A Decade of Research
  •  Integration on Infinite Dimensional Surfaces and Its (MATHEMATICS
  • Logic of Logistics: Theory, Algorithms, and Applications for Logistics
  • The Principles of Logic: Josiah Royce:  Kindle Store
  • Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories (Encyclopaedia of Mathematical Sciences) eBook: Yu. I. Manin, Alexei A. Panchishkin: Kindle Store
  • Codes and Automata (Encyclopedia of Mathematics and its Applications, 129) eBook: Jean Berstel, Dominique Perrin, Christophe Reutenauer: Kindle Store
  • The Many Worlds of Logic, Study Guide (9780195155839): Paul Herrick: Books
  • Mathematics of Discrete Structures for Computer Science: Gordon J. Pace: 9783642298394: Books
  • Essentials of Symbolic Logic: R.L. Simpson: 9781551112503: Books
  • Natural Deduction: A Proof Theoretical Study (Dover Books on Mathematics) (9780486446554): Dag Prawitz, Mathematics: Books
  • Algebraic Automata Theory (Cambridge Studies in Advanced Mathematics): M. Holcombe: 9780521231961: Books
  • The Interactive Geometry Software: Cinderella, Version 1.2: 9783540147190: Science & Mathematics Books @
  • Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series): Ernst Erich Doberkat: 9783642029943: Books
  • Propositional Logics (The Semantic Foundations of Logic) (Vol 1): Richard L. Epstein, Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanislaw Krajewski, Roger D. Maddux: 9780195087611: Books